Universal quantifier

Перевод universal quantifier на русский язык

The universal quantifier is used in mathematical logic to denote that a proposition applies to all elements.

Универсальный квантор используется в математической логике, чтобы обозначить, что утверждение относится ко всем элементам.